]> dgit.raspbian.org Git - gnome-shell.git/commit
projects / gnome-shell.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 71d37bf) | patch
popupMenu: Ungrab when removing active menu
authorFlorian Müllner <fmuellner@gnome.org>
Tue, 28 Jul 2020 15:50:58 +0000 (17:50 +0200)
committerGeorges Basile Stavracas Neto <georges.stavracas@gmail.com>
Wed, 29 Jul 2020 19:40:54 +0000 (19:40 +0000)
commit260405a49e0749dc5147b3b4f1d43ed9cd4bfafc
tree6e97a714df941e9fd7e8cfeaa675679e28652bd3tree | snapshot
parent71d37bffdfdea2e00980e564d24ba5c0fb87d539commit | diff
popupMenu: Ungrab when removing active menu

While we do have some handling for removing the active menu, it has
been a no-op for years. The bit that we really care about from the
PopupMenuManager's point of view is the existing grab though. Drop
that instead of calling _closeMenu() directly; ungrabbing will still
call the method indirectly, and it will still be a no-op :-)

https://gitlab.gnome.org/GNOME/gnome-shell/-/issues/3022
js/ui/popupMenu.js diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.